$\forall$$p$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$), $e$:possible{-}event\{i:l\}($p$). pe{-}e($e$) $\in$ E